搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Relativistic astrophysics and cosmology 0 索取号：P142-53/E901 作者：Fustero、 X. (Xavier)、Verdaguer、 E. (Enric)、International Seminar on Theoretical Physics (14th : 1983 : Catalonia、 Spain)、出版社：Singapore : World Scientific, 1984.		Proceedings of the 7th Topical Workshop on Proton-Antiproton Collider Physics : 20-24 June 1988, Fermi National Accelerator Laboratory, Batavia, Illinois, USA 0 索取号：O572.34-53/E901 作者：Topical Workshop on Proton-Antiproton Collider Physics (7th : 1988 : Fermi National Accelerator Laboratory、 Batavia、 Ill.)、Raja、 Rajendran.、Tollestrup、 Alvin.、Yoh、 John.、Fermi National Accelerator Laboratory.、出版社：Singapore ; Teaneck, N.J. : World Scientific, c1989.
	Numerical simulation of fluid motion : proceedings of an International Conference on the Numerical Simulation of Fluid Dynamic Systems held at Monash University, Melbourne, 1976 0 索取号：O35-53/E801/1976 作者：International Conference on the Numerical Simulation of Fluid Dynamic Systems、 Monash University、 1976.、Noye、 John、 1930-、Monash University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors in the U.S. and Canada, Elsevier North-Holland, c1978.		Developments in theoretical and applied mechanics. volume 9 : proceedings of the ninth Southeastern Conference on Theoretical and Applied Mechanics, held at Nashville, Tennessee, May 4-5, 1978 0 索取号：O31-53/E801/9 作者：Southeastern Conference on Theoretical and Applied Mechanics、 9th、 Nashville、 Tenn.、 1978.、Vanderbilt University.、出版社：[s.l. : s.n., 1978?].
	The mathematics of finite elements and applications IV : MAFELAP, 1981 0 索取号：O29-53/E909/4 作者：Conference on the Mathematics of Finite Elements and Applications (4th : 1981 : Brunel University)、Whiteman、 J. R. (John Robert).、出版社：London ; New York : Academic Press, 1982.		Atomic collision processes : the proceedings of the third International Conference on the Physics of Electronic and Atomic Collisions, University College, London, 22nd-26th July, 1963 0 索取号：O562.5-53/E701 作者：International Conference on the Physics of Electronic and Atomic Collisions (3rd : 1963 : University College、 London)、McDowell、 M. R. C.、United States. Army. European Research Office.、Great Britain. Central Electricity Generating Board.、Edwards High Vacuum Co.、出版社：Amsterdam : North-Holland Pub. Co., 1964.
	Finite elements : theory and application : proceedings of the ICASE Finite Element Theory and Application Workshop held July 28-30, 1986, in Hampton, Virginia 0 索取号：O242.21-53/E901 作者：ICASE Finite Element Theory and Application Workshop (1986 : Hampton、 Va.)、Voigt、 Robert G.、Institute for Computer Applications in Science and Engineering.、出版社：New York : Springer-Verlag, c1988.		Dynamical critical phenomena and related topics : proceedings of the international conference, held at the University of Geneva, Switzerland, April 2-6, 1979 0 索取号：O4-55/E907 作者：International Conference on Dynamical Critical Phenomena and Related Topics (1979 : University of Geneva)、Enz、 Charles P. (Charles Paul)、 1925-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	Mathematical methods and applications of scattering theory : proceedings of a conference held at Catholic University, Washington, D.C., May 21-25, 1979 0 索取号：O4-55/E902 作者：Conference on Mathematical Methods and Applications of Scattering Theory (1979 : Catholic University of America)、DeSanto、 J. A. (John Anthony)、 1941-、Sâaenz、 Albert William、 1923-、Zachary、 W. W.、 1935-、Naval Research Laboratory (U.S.)、出版社：Berlin ; New York : Springer-Verlag, 1980.		Symmetries in complex analysis : Workshop on Several Complex Variables, Analysis on Complex Lie Groups, and Homogeneous Spaces, October 17-29, 2005, Zhejiang University, Hangzhou, P.R. China 0 索取号：O174.5-532/E20091 作者：Workshop on Several Complex Variables、 Analysis on Complex Lie Groups and Homogeneous Spaces (2005 : Hangzhou、 China)、Gilligan、 Bruce、 1944-、Roos、 Guy.、出版社：Providence, R.I. : American Mathematical Society, c2008.
	Numerical mathematics : symposium on the occasion of the retirement of Lothar Collatz at the Institute for Applied Mathematics, University of Hamburg, January 25-26, 1979 / edited by R. Ansorge, K. Glashoff, B. Werner = Numerische Mathematik : Symposium anlässlich der Emeritierung von Lothar Collatz am Institut für Angewandte Mathematik, Universität Hamburg, vom 25.-26. Januar 1979 0 索取号：O24-55/E802 作者：出版社：Basel ; Boston : Birkhäuser, 1979.		Differential geometric methods in mathematical physics, Clausthal 1980 : proceedings of an international conference held at the Technical University of Clausthal, FRG, July 23-25, 1980 0 索取号：O132-51/E9088 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	Mathematics: man's key to progress : teachers manual 0 索取号：O12-43/E803 作者：Denholm、 Richard A.、Franklin Book Programs、 inc.、出版社：[Pasadena, Calif. : Franklin Publications, c1970].		陕西凤翔隋唐墓 : 1983-1990年田野考古发掘报告 0 索取号：K878.85/200920 作者：陕西省考古研究院、西北大学文博学院、出版社：北京 : 文物出版社, 2008
	Unpublished scientific papers of Isaac Newton : a selection from the Portsmouth collection in the University Library, Cambridge 0 索取号：G3-53/E702 作者：Newton、 Isaac、 Sir、 1642-1727.、Hall、 A. Rupert (Alfred Rupert)、 1920- ed. and tr.、Hall、 Marie Boas、 1919- ed. and tr.、出版社：Cambridge [Eng.] : University Press, 1962.		Indochina and problems of security and stability in Southeast Asia : papers and discussion of the conference held at Chulalongkorn University, Bangkok, 18-21 June 1980 0 索取号：D733/E907 作者：出版社：Bangkok, Thailand : Chulalongkorn University Press, 1981.

	Relativistic astrophysics and cosmology 0 索取号：P142-53/E901 作者：Fustero、 X. (Xavier)、Verdaguer、 E. (Enric)、International Seminar on Theoretical Physics (14th : 1983 : Catalonia、 Spain)、出版社：Singapore : World Scientific, 1984.		Proceedings of the 7th Topical Workshop on Proton-Antiproton Collider Physics : 20-24 June 1988, Fermi National Accelerator Laboratory, Batavia, Illinois, USA 0 索取号：O572.34-53/E901 作者：Topical Workshop on Proton-Antiproton Collider Physics (7th : 1988 : Fermi National Accelerator Laboratory、 Batavia、 Ill.)、Raja、 Rajendran.、Tollestrup、 Alvin.、Yoh、 John.、Fermi National Accelerator Laboratory.、出版社：Singapore ; Teaneck, N.J. : World Scientific, c1989.
	Numerical simulation of fluid motion : proceedings of an International Conference on the Numerical Simulation of Fluid Dynamic Systems held at Monash University, Melbourne, 1976 0 索取号：O35-53/E801/1976 作者：International Conference on the Numerical Simulation of Fluid Dynamic Systems、 Monash University、 1976.、Noye、 John、 1930-、Monash University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors in the U.S. and Canada, Elsevier North-Holland, c1978.		Developments in theoretical and applied mechanics. volume 9 : proceedings of the ninth Southeastern Conference on Theoretical and Applied Mechanics, held at Nashville, Tennessee, May 4-5, 1978 0 索取号：O31-53/E801/9 作者：Southeastern Conference on Theoretical and Applied Mechanics、 9th、 Nashville、 Tenn.、 1978.、Vanderbilt University.、出版社：[s.l. : s.n., 1978?].
	The mathematics of finite elements and applications IV : MAFELAP, 1981 0 索取号：O29-53/E909/4 作者：Conference on the Mathematics of Finite Elements and Applications (4th : 1981 : Brunel University)、Whiteman、 J. R. (John Robert).、出版社：London ; New York : Academic Press, 1982.		Atomic collision processes : the proceedings of the third International Conference on the Physics of Electronic and Atomic Collisions, University College, London, 22nd-26th July, 1963 0 索取号：O562.5-53/E701 作者：International Conference on the Physics of Electronic and Atomic Collisions (3rd : 1963 : University College、 London)、McDowell、 M. R. C.、United States. Army. European Research Office.、Great Britain. Central Electricity Generating Board.、Edwards High Vacuum Co.、出版社：Amsterdam : North-Holland Pub. Co., 1964.
	Finite elements : theory and application : proceedings of the ICASE Finite Element Theory and Application Workshop held July 28-30, 1986, in Hampton, Virginia 0 索取号：O242.21-53/E901 作者：ICASE Finite Element Theory and Application Workshop (1986 : Hampton、 Va.)、Voigt、 Robert G.、Institute for Computer Applications in Science and Engineering.、出版社：New York : Springer-Verlag, c1988.		Dynamical critical phenomena and related topics : proceedings of the international conference, held at the University of Geneva, Switzerland, April 2-6, 1979 0 索取号：O4-55/E907 作者：International Conference on Dynamical Critical Phenomena and Related Topics (1979 : University of Geneva)、Enz、 Charles P. (Charles Paul)、 1925-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	Mathematical methods and applications of scattering theory : proceedings of a conference held at Catholic University, Washington, D.C., May 21-25, 1979 0 索取号：O4-55/E902 作者：Conference on Mathematical Methods and Applications of Scattering Theory (1979 : Catholic University of America)、DeSanto、 J. A. (John Anthony)、 1941-、Sâaenz、 Albert William、 1923-、Zachary、 W. W.、 1935-、Naval Research Laboratory (U.S.)、出版社：Berlin ; New York : Springer-Verlag, 1980.		Symmetries in complex analysis : Workshop on Several Complex Variables, Analysis on Complex Lie Groups, and Homogeneous Spaces, October 17-29, 2005, Zhejiang University, Hangzhou, P.R. China 0 索取号：O174.5-532/E20091 作者：Workshop on Several Complex Variables、 Analysis on Complex Lie Groups and Homogeneous Spaces (2005 : Hangzhou、 China)、Gilligan、 Bruce、 1944-、Roos、 Guy.、出版社：Providence, R.I. : American Mathematical Society, c2008.
	Numerical mathematics : symposium on the occasion of the retirement of Lothar Collatz at the Institute for Applied Mathematics, University of Hamburg, January 25-26, 1979 / edited by R. Ansorge, K. Glashoff, B. Werner = Numerische Mathematik : Symposium anlässlich der Emeritierung von Lothar Collatz am Institut für Angewandte Mathematik, Universität Hamburg, vom 25.-26. Januar 1979 0 索取号：O24-55/E802 作者：出版社：Basel ; Boston : Birkhäuser, 1979.		Differential geometric methods in mathematical physics, Clausthal 1980 : proceedings of an international conference held at the Technical University of Clausthal, FRG, July 23-25, 1980 0 索取号：O132-51/E9088 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	Mathematics: man's key to progress : teachers manual 0 索取号：O12-43/E803 作者：Denholm、 Richard A.、Franklin Book Programs、 inc.、出版社：[Pasadena, Calif. : Franklin Publications, c1970].		陕西凤翔隋唐墓 : 1983-1990年田野考古发掘报告 0 索取号：K878.85/200920 作者：陕西省考古研究院、西北大学文博学院、出版社：北京 : 文物出版社, 2008
	Unpublished scientific papers of Isaac Newton : a selection from the Portsmouth collection in the University Library, Cambridge 0 索取号：G3-53/E702 作者：Newton、 Isaac、 Sir、 1642-1727.、Hall、 A. Rupert (Alfred Rupert)、 1920- ed. and tr.、Hall、 Marie Boas、 1919- ed. and tr.、出版社：Cambridge [Eng.] : University Press, 1962.		Indochina and problems of security and stability in Southeast Asia : papers and discussion of the conference held at Chulalongkorn University, Bangkok, 18-21 June 1980 0 索取号：D733/E907 作者：出版社：Bangkok, Thailand : Chulalongkorn University Press, 1981.